interface(${\it ds}$; ${\it da}$; $A$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf(LocKnd; ${\it ik}$.locknd{-}spread(${\it ik}$; $i$,$k$.(${\it ds}$($i$)$\rightarrow$${\it da}$($i$,$k$)$\rightarrow$($A$ + top))))